int_0^\infty x^{s-1}/(e^x+1) dx / Gamma(s)